[IA64] avoid long time interrupt masking.

flush_vtlb_fro_context_switch() can be executed with interrupt enabled.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>

diff --git a/xen/arch/ia64/xen/domain.c b/xen/arch/ia64/xen/domain.c
index c024e2ae0c6c0a2c2c7316f5825bca062d1de160..56816204668bb965b3d3aa20a78813bfbf04c023 100644 (file)
--- a/xen/arch/ia64/xen/domain.c
+++ b/xen/arch/ia64/xen/domain.c
@@ -190,8 +190,8 @@ void context_switch(struct vcpu *prev, struct vcpu *next)
                __ia64_per_cpu_var(current_psr_ic_addr) = NULL;
         }
     }
-    flush_vtlb_for_context_switch(current);
     local_irq_restore(spsr);
+    flush_vtlb_for_context_switch(current);
     context_saved(prev);
 }